$i$ $\leq$ $j$ $<$ $k$ $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$($i$ $\leq$ $j$) \& ($j$ $<$ $k$)